Saturated models of universal theories
نویسنده
چکیده
A notion called Herbrand saturation is shown to provide the modeltheoretic analogue of a proof-theoretic method, Herbrand analysis, yielding uniform model-theoretic proofs of a number of important conservation theorems. A constructive, algebraic variation of the method is described, providing yet a third approach, which is finitary but retains the semantic flavor of the model-theoretic version.
منابع مشابه
Functorial semantics of topological theories
Following the categorical approach to universal algebra through algebraic theories, proposed by F.~W.~Lawvere in his PhD thesis, this paper aims at introducing a similar setting for general topology. The cornerstone of the new framework is the notion of emph{categorically-algebraic} (emph{catalg}) emph{topological theory}, whose models induce a category of topological structures. We introduce t...
متن کاملNoetherianity in a class of first-order theories
We call a theory a Dedekind theory if every complete quantifier-free type with one free variable either has a trivial positive part or it is isolated by a positive quantifier-free formula. The theory of vector spaces and the theory fields are examples. We prove that in a Dedekind theory all positive quantifier-free types are principal so, in a sense, Dedekind theories are Noetherian. We show th...
متن کاملPure Computable Model Theory
2. 3. 4. 5. 6. 7. 8. 9. 10. 11. 12. 13. 14. 15. 16. Introduction History Notation and basic definitions Decidable theories, and computable and decidable models Effective completeness theorem Model completeness and decidability Omitting types and decidability Decidable prime models Computable saturated models and computably saturated models Decidable homogeneous models Vaught's theorem computabl...
متن کاملLovely pairs of models
We introduce the notion of a lovely pair of models of a simple theory T , generalizing Poizat’s “belles paires” of models of a stable theory and the third author’s “generic pairs” of models of an SU -rank 1 theory. We characterise when a saturated model of the theory TP of lovely pairs is a lovely pair (that is when the notion of a lovely pair is “axiomatizable”), finding an analogue of the non...
متن کاملRigid א 2 - saturated models of superstable theories ∗
In a countable superstable NDOP theory, the existence of a rigid א2-saturated model implies the existence of 2 λ rigid א2-saturated models of power λ for every λ > 2א0 .
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Ann. Pure Appl. Logic
دوره 118 شماره
صفحات -
تاریخ انتشار 2002